| Characterizations of Formal and Agile Methods | |
| Agile Methods | Formal Methods |
| Validation | Verification |
| Pleasantness | Correctness |
| Refactoring | Refinement |
| Concrete | Abstract |
| Particular | General |
| Tests | Roofs |
| Design evolve with code | upfront design |
| Cowboy coding | Analysis paralysis |
| Team | Programmer |
| Beck [9] [10] | Dijkstra [13] [14] |